Warning: error_log(/dades/dugi/log//querys.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
DUGi: Llistar Títols | (dc.creator:"Manyà, Felip" OR dc.contributor:"Manyà, Felip" OR dc.contributor.other:"Manyà, Felip") | 0 - 2


Llistar Títols

S'han trobat 2 ítems

Llistant ítems des de 0 a 2:

  1   
FormatDataTítolAutor
FormatDataTítolAutor
out url icon Recercat Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 1 juny 2016 Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
  1   

Matèries


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

Autors


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32


Warning: fopen(/dades/dugi/cache/b77abb6de28d3c6d538bfdfd1588a0fb_.html) [function.fopen]: failed to open stream: Read-only file system in /dades/dugi/end_cache.php on line 2